101.66/102.06	unsat
