4.57/6.69	unsat
