12.97/13.06	unsat
