940.36/941.76	unsat
