5.97/6.78	unsat
