47.12/49.59	unsat
