5.78/5.88	unsat
