48.23/49.89	unsat
