47.07/49.97	unsat
