6.87/10.13	unsat
