99.22/103.41	unsat
