5.78/5.83	unsat
