47.12/49.81	unsat
