6.57/9.40	unsat
