4.78/4.87	unsat
