5.78/5.87	unsat
