103.50/104.93	unsat
