102.56/102.81	unsat
