7.28/7.50	unsat
