5.21/6.93	unsat
