100.47/100.76	unsat
