4.99/6.82	unsat
