6.57/7.12	unsat
