104.43/104.49	unsat
