4.97/7.93	unsat
