4.98/7.96	unsat
