6.57/8.36	unsat
