6.18/6.78	unsat
