102.05/102.38	unsat
