5.18/7.50	unsat
