5.29/6.78	unsat
