102.40/104.43	unsat
