5.98/6.07	unsat
