6.19/6.78	unsat
