5.89/6.74	unsat
