4.76/4.87	unsat
