5.27/6.93	unsat
