5.28/6.78	unsat
