4.97/7.86	unsat
