4.99/6.18	unsat
