4.18/4.76	unsat
