100.73/104.03	unsat
