4.98/7.17	unsat
