95.44/100.01	unsat
