8.28/8.50	unsat
