99.34/103.05	unsat
