5.98/6.57	unsat
