13.96/17.06	unsat
