5.78/5.82	unsat
