5.98/6.78	unsat
