9.67/13.20	unsat
