99.62/103.26	unsat
