99.70/102.85	unsat
