100.83/104.01	unsat
