4.29/4.87	unsat
