4.67/4.76	unsat
