9.67/13.11	unsat
