100.47/100.70	unsat
