9.26/11.50	unsat
