103.98/104.62	unsat
