5.89/6.93	unsat
