5.98/6.00	unsat
