4.99/6.17	unsat
