6.79/10.16	unsat
