5.98/6.41	unsat
