4.18/4.87	unsat
