103.17/103.38	unsat
