4.28/7.93	unsat
