102.17/104.49	unsat
