103.17/104.38	unsat
