6.89/9.16	unsat
