101.34/104.79	unsat
