4.97/7.95	unsat
