6.57/10.13	unsat
