5.98/8.18	unsat
