5.08/7.50	unsat
