104.69/104.76	unsat
