99.06/102.61	unsat
