102.17/102.30	unsat
