5.97/6.74	unsat
