47.99/52.09	unsat
