6.28/11.50	unsat
