5.57/5.74	unsat
