5.98/6.18	unsat
