9.19/11.50	unsat
