4.98/6.99	unsat
