5.26/6.93	unsat
