5.78/5.85	unsat
