48.40/48.58	unsat
