4.68/4.76	unsat
