103.77/104.63	unsat
