48.76/48.85	unsat
