6.89/7.16	unsat
